Computer Aided Verification : 24th International Conference, Cav 2012, Berkeley, Ca, USA, July 7-13, 2012 Proceedings
ISBN: 9783642314247
Information Available:
Summary
Cover Image
Copyright held by Baker & Taylor.